Description Logic and Faceted Knowledge Representation

نویسنده

  • Uta Priss
چکیده

The term ”facet” was introduced into the field of library classification systems by Ranganathan in the 1930’s [Ranganathan, 1962]. A facet is a viewpoint or aspect. In contrast to traditional classification systems, faceted systems are modular in that a domain is analyzed in terms of baseline facets which are then synthesized. In this paper, the term ”facet” is used in a broader meaning. Facets can describe different aspects on the same level of abstraction or the same aspect on different levels of abstraction. The notion of facets is related to database views, multicontexts and conceptual scaling in formal concept analysis [Ganter and Wille, 1999], polymorphism in object-oriented design, aspect-oriented programming, views and contexts in description logic and semantic networks. This paper presents a definition of facets in terms of faceted knowledge representation that incorporates the traditional narrower notion of facets and potentially facilitates translation between different knowledge representation formalisms. A goal of this approach is a modular, machine-aided knowledge base design mechanism. A possible application is faceted thesaurus construction for information retrieval and data mining. Reasoning complexity depends on the size of the modules (facets). A more general analysis of complexity will be left for future research.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Designing Visual Languages for Description Logics

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability...

متن کامل

The Role of Preferences in Logic Programming: Nonmonotonic Reasoning, User Preferences, Decision under Uncertainty

Preferences have a multi-faceted relationship with several knowledge representation domains and they have been understood in different ways in the Artificial Intelligence literature. In this thesis, we study and clarify the role that preferences can play in the setting of Answer Set Programming. Keywords— preferences, nonmonotonic reasoning, uncertain nonmonotonic reasoning, decision under unce...

متن کامل

What do epistemic logic and cognitive science have to do with each other?

Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools. These concepts ought to be in the spotlight of cognitive science too, but the two have not yet seriously been explored in cooperation. In this paper, it is shown that a number of possibilities ...

متن کامل

Survey of Temporal Knowledge Representation (Second Exam)

Knowledge Representation (KR) is a subfield within Artificial Intelligence that aims to represent, store, and retrieve knowledge in symbolic form that is easily manipulated using a computer. The vision of Semantic Web has recently increased because of the interest of using and a applying the Knowledge Representation methodology in both academia and industry. Knowledge Representation formalism a...

متن کامل

DLP System Description

DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as K (m) and KT (m). Although DLP is an experimental system, it nonetheless provides a fast satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999